منابع مشابه
Meaningless statements
Increasingly, discrete mathematics is influenced by connections with other fields. We give one example of a broad topic in the field of discrete mathematics that comes from the social sciences, and in particular from the theory of measurement that has been developed to put measurement, especially in the social sciences, on a firm mathematical foundation. The key concept is that of meaningful st...
متن کاملMeaningless Terms in Rewriting
We present an axiomatic approach to the concept of meaninglessness in finite and transfinite term rewriting and lambda calculus. We justify our axioms in several ways. They can be intuitively justified from the viewpoint of rewriting as computation. They are shown to imply important properties of meaninglessness: genericity of the class of meaningless terms, confluence modulo equality of meanin...
متن کاملMeaningless terms in
We present an axiomatic approach to meaninglessness in nite and transsnite term rewriting and lambda calculus. We justify our axioms in two ways. First, they are shown to imply important properties of mean-inglessness: genericity of the class of meaningless terms, the consistency of equating all meaningless terms, and the construction of BB ohm trees. Second we show that they can be easily veri...
متن کاملBudget-Balanced and Nearly Efficient Randomized Mechanisms: Public Goods and beyond
Many scenarios where participants hold private information require payments to encourage truthful revelation. Some of these scenarios have no natural residual claimant who would absorb the budget surplus or cover the deficit. Faltings [7] proposed the idea of excluding one agent uniformly at random and making him the residual claimant. Based on this idea, we propose two classes of public good m...
متن کاملNearly Rational Frobenius Groups
In this paper, we study the structure of nite Frobenius groups whose non-rational or non-real irreducible characters are linear.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1996
ISSN: 0028-0836,1476-4687
DOI: 10.1038/380657b0